Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e

Source URL: ceur-ws.org

• Operations research
• Mathematical optimization
• Constraint programming
• Logic in computer science
• NP-complete problems
• Topology
• Satisfiability modulo theories
• Dynamic programming
• Semidefinite programming

Instruções aos autores para o 6o Simpósio de Geotecnologias no Pantanal: modelo para elaboração de artigos João dos Santos Vila da Silva 1 Myrian de Moura Abdon 2 Dalton de Morisson Valeriano 2

Source URL: www.geopantanal.cnptia.embrapa.br

Evaluation of BehaviorMap: a User-Centered Behavior Language Fernando Wanderley Antonio Silva Joao Araujo

Source URL: rcis2015.hua.gr

• Software development
• Software engineering
• Software testing
• Usability
• Humancomputer interaction
• Software requirements
• Software development process
• Scenario
• Test-driven development
• User-centered design
• Object Process Methodology
• Behavior-driven development

PROJETO NOVOS TALENTOS Áureo Deo de Freitas Junior, João Paulo Nobre da Silva, Thais Cristina Santana Carneiro, Antonio de Pádua Araujo Batista, Jessika Castro Rodrigues, Paulyane Silva do Nascimento Universidade Fede

Source URL: seminarios.capes.gov.br

Synthesizing Safe Bit-Precise Invariants? Arie Gurfinkel, Anton Belov and Joao Marques-Silva Abstract. Bit-precise software verification is an important and difficult problem. While there has been an amazing progress in

Source URL: arieg.bitbucket.org

MUSer2: An Efficient MUS Extractor SYSTEM DESCRIPTION Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory University College Dublin, Ireland

Source URL: anton.belov-mcdowell.com

Minimally Unsatisfiable Boolean Circuits Anton Belov and Joao Marques-Silva Complex and Adaptive Systems Laboratory School of Computer Science and Informatics University College Dublin, Ireland

Source URL: anton.belov-mcdowell.com

A Survey of GPU-Based Volume Rendering of Unstructured Grids Cláudio T. Silva 1 João L. D. Comba 2 Steven P. Callahan 1 Fabio F. Bernardon 2

Source URL: vgc.poly.edu

Accelerating MUS Extraction with Recursive Model Rotation Anton Belov Joao Marques-Silva

Source URL: anton.belov-mcdowell.com

On Computing Minimal Correction Subsets Joao Marques-Silva CASL/UCD, Ireland IST/INESC-ID, Portugal

Source URL: anton.belov-mcdowell.com